资源类型

期刊论文 989

会议视频 8

年份

2023 70

2022 85

2021 68

2020 72

2019 47

2018 42

2017 45

2016 46

2015 53

2014 43

2013 41

2012 40

2011 35

2010 46

2009 44

2008 36

2007 35

2006 26

2005 26

2004 20

展开 ︾

关键词

数学模型 13

模型试验 9

数值模拟 8

模型 7

COVID-19 5

不确定性 5

GM(1 3

计算机模拟 3

1)模型 2

DX桩 2

D区 2

Preissmann格式 2

SARS 2

TRIZ 2

Weibull分布 2

k-ε模型 2

不确定性评估 2

临震信号 2

云模型 2

展开 ︾

检索范围:

排序: 展示方式:

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

《信息与电子工程前沿(英文)》 2015年 第16卷 第2期   页码 85-97 doi: 10.1631/FITEE.1400111

摘要: Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

关键词: Graph rewriting based model transformations     Verification/validation     Test-driven verification    

Model validation for structural dynamics in the aero-engine design process

Chaoping ZANG, D. J. EWINS,

《能源前沿(英文)》 2009年 第3卷 第4期   页码 480-488 doi: 10.1007/s11708-009-0043-8

摘要: A model validation technique in structural dynamics and its application in aero-engine development is introduced. The concept and the approaches of model validation based on reference data supplied from experimental tests or from supermodel simulation are discussed in detail. An aero-engine component is used as an example to demonstrate the validation using the experimental test and supermodel information, respectively. A satisfactory agreement with both approaches is achieved, and finally, a strategy of model validation for the whole engine model is introduced.

关键词: model validation     aero-engine     structural dynamics    

Model validation and application

Rongrong ZHANG,Chesheng ZHAN,Xiaomeng SONG,Baolin LIU

《环境科学与工程前沿(英文)》 2015年 第9卷 第6期   页码 1025-1035 doi: 10.1007/s11783-014-0655-z

摘要: Part I of this study develops an enhanced environmental multimedia modeling system (EMMS) based on fuzzy-set approach. Once the model development is complete, the composite module and the entire modeling system need to be tested and validated to ensure that the model can simulate natural phenomena with reasonable and reliable accuracy. The developed EMMS is first tested in a complete case study. And then verification results are conducted to compare with extensively researched literature data. In the third step, the data from an experimental landfill site is used for a pilot-scale validation. The comparisons between EMMS outputs and the literature data indicate that the EMMS can perform accurate modeling simulation. The modules of EMMS could support the entire environmental multimedia modeling system. Further field-scale validation is finished. The results are satisfactory. Most of the modeling yields closely match the monitoring data collected from sites. In addition, with the aid of fuzzy-set approach, EMMS can be a reliable and powerful tool to address the complex environmental multimedia pollution problems and provide an extensive support for decision makers in managing the contaminated environmental systems.

关键词: environmental multimedia modelling system     fuzzy-set approach     application     model validation     uncertainty analysis    

Experimental and computational validation of a scaled train tunnel model using modal analysis

Janice B. D’SOUZA, Sangarapillai KANAPATHIPILLAI

《机械工程前沿(英文)》 2013年 第8卷 第4期   页码 420-428 doi: 10.1007/s11465-013-0281-7

摘要:

Acoustic engineers are faced with the challenge of minimising reverberation time in their designs so as to contribute to the health and well-being of those traveling by train and those on the platforms. Although the problem is easy to identify, it is not as simple to solve. The acoustical environment of a train tunnel is complex, with a variety of noise contributing factors such as train announcements, speech of commuters, ventilation systems, electrical equipment and wheel and rail noise. As a result, there is some difficulty in modeling the complete acoustic environment with computational or acoustic first principles. In this study, an experimental rig was constructed to model the acoustic behavior within a tunnel. The modal properties for the 300 Hz to 1500 Hz range, including resonances and mode shapes were identified and were shown to successfully correspond to theoretical results and a computational model created in COMSOL using Finite Element Analysis.

关键词: reverberation time     acoustic environment     modal properties     resonances    

Assessment and validation of liquid breakup models for high-pressure dense diesel sprays

Yi REN,Xianguo LI

《能源前沿(英文)》 2016年 第10卷 第2期   页码 164-175 doi: 10.1007/s11708-016-0407-9

摘要: Liquid breakup in fuel spray and atomization significantly affects the consequent mixture formation, combustion behavior, and emission formation processes in a direct injection diesel engine. In this paper, different models for liquid breakup processes in high-pressure dense diesel sprays and its impact on multi-dimensional diesel engine simulation have been evaluated against experimental observations, along with the influence of the liquid breakup models and the sensitivity of model parameters on diesel sprays and diesel engine simulations. It is found that the modified Kelvin-Helmholtz (KH)–Rayleigh-Taylor (RT) breakup model gives the most reasonable predicted results in both engine simulation and high-pressure diesel spray simulation. For the standard KH-RT model, the model constant for the breakup length has a significant effect on the predictability of the model, and a fixed value of the constant cannot provide a satisfactory result for different operation conditions. The Taylor-analogy-breakup (TAB) based models and the RT model do not provide reasonable predictions for the characteristics of high-pressure sprays and simulated engine performance and emissions.

关键词: breakup model     diesel engine     high-pressure injection     simulations    

Identification of structural parameters and boundary conditions using a minimum number of measurement points

Ali KARIMPOUR, Salam RAHMATALLA

《结构与土木工程前沿(英文)》 2020年 第14卷 第6期   页码 1331-1348 doi: 10.1007/s11709-020-0686-4

摘要: This article proposes a novel methodology that uses mathematical and numerical models of a structure to build a data set and determine crucial nodes that possess the highest sensitivity. Regression surfaces between the structural parameters and structural output features, represented by the natural frequencies of the structure and local transmissibility, are built using the numerical data set. A description of a possible experimental application is provided, where sensors are mounted at crucial nodes, and the natural frequencies and local transmissibility at each natural frequency are determined from the power spectral density and the power spectral density ratios of the sensor responses, respectively. An inverse iterative process is then applied to identify the structural parameters by matching the experimental features with the available parameters in the myriad numerical data set. Three examples are presented to demonstrate the feasibility and efficacy of the proposed methodology. The results reveal that the method was able to accurately identify the boundary coefficients and physical parameters of the Euler-Bernoulli beam as well as a highway bridge model with elastic foundations using only two measurement points. It is expected that the proposed method will have practical applications in the identification and analysis of restored structural systems with unknown parameters and boundary coefficients.

关键词: structural model validation     eigenvalue problem     response surface     inverse problems    

HY-2卫星微波散射计反演风矢量产品真实性检验方法研究

穆博,林明森,彭海龙,宋清涛,周武

《中国工程科学》 2014年 第16卷 第6期   页码 39-45

摘要:

海洋二号(HY-2)卫星微波散射计主要用于测量海表面的风速和风向,为了确保地面应用系统业务化处理软件生产产品的质量,必须对其生产产品进行真实性检验,为数据产品的定量化应用提供依据。本文基于NCEP分析资料数据,对HY-2 卫星微波散射计反演风矢量产品进行了真实性检验,检验结果表明:采用NCEP分析数据,除了可以给出HY-2 卫星微波散射计反演风矢量产品的整体精度评价之外,还可以用于快速分析与圆锥扫描笔形波束体制相关及测量机理的精度特性分析,辅助分析识别仪器在轨测量性能的短期异常。

关键词: 微波散射计     反演风矢量     真实性检验    

Stiffness analysis and experimental validation of robotic systems

Giuseppe CARBONE

《机械工程前沿(英文)》 2011年 第6卷 第2期   页码 182-196 doi: 10.1007/s11465-011-0221-3

摘要:

Stiffness can be considered of primary importance in order to guarantee the successful use of any robotic system for a given task. Therefore, this paper proposes procedures for carrying out both numerical and experimental estimations of stiffness performance for multibody robotic systems. The proposed numerical procedure is based on models with lumped parameters for deriving the Cartesian stiffness matrix. Stiffness performance indices are also proposed for comparing stiffness performance. Then, an experimental procedure for the evaluation stiffness performance is proposed as based on a new measuring system named as Milli-CATRASYS (Milli Cassino Tracking System) and on a trilateration technique. Cases of study are reported to show the soundness and engineering feasibility of both the proposed numerical formulation for stiffness analysis and experimental validation of stiffness performance.

关键词: robotics     stiffness performance     numerical and experimental estimations    

Decision support for the development, simulation and optimization of dynamic process models

Norbert Asprion, Roger Böttcher, Jan Schwientek, Johannes Höller, Patrick Schwartz, Charlie Vanaret, Michael Bortz

《化学科学与工程前沿(英文)》 2022年 第16卷 第2期   页码 210-220 doi: 10.1007/s11705-021-2046-x

摘要: Simulation is besides experimentation the major method for designing, analyzing and optimizing chemical processes. The ability of simulations to reflect real process behavior strongly depends on model quality. Validation and adaption of process models are usually based on available plant data. Using such a model in various simulation and optimization studies can support the process designer in his task. Beneath steady state models there is also a growing demand for dynamic models either to adapt faster to changing conditions or to reflect batch operation. In this contribution challenges of extending an existing decision support framework for steady state models to dynamic models will be discussed and the resulting opportunities will be demonstrated for distillation and reactor examples.

关键词: decision support     multicriteria optimization     model validation     dynamic model     sensitivity analysis    

Innate immune checkpoint Siglec10 in cancers: mining of comprehensive omics data and validation in patient

《医学前沿(英文)》 2022年 第16卷 第4期   页码 596-609 doi: 10.1007/s11684-021-0868-z

摘要: Sialic acid binding Ig-like lectin 10 (Siglec10) is a member of innate immune checkpoints that inhibits the activation of immune cells through the interaction with its ligand CD24 on tumor cells. Here, by analyzing public databases containing 64 517 patients of 33 cancer types, we found that the expression of Siglec10 was altered in 18 types of cancers and was associated with the clinical outcomes of 11 cancer types. In particular, Siglec10 was upregulated in patients with kidney renal clear cell carcinoma (KIRC) and was inversely associated with the prognosis of the patients. In 131 KIRC patients of our settings, Siglec10 was elevated in the tumor tissues of 83 (63.4%) patients compared with that in their counterpart normal kidney tissues. Moreover, higher level of Siglec10 was associated with advanced disease (stages III and IV) and worse prognosis. Silencing of CD24 in KIRC cells significantly increased the number of Siglec10-expressing macrophages phagocytosing KIRC cells. In addition, luciferase activity assays suggested that Siglec10 was a potential target of the transcription factors c-FOS and GATA1, which were identified by data mining. These results demonstrate that Siglec10 may have important oncogenic functions in KIRC, and represents a novel target for the development of immunotherapies.

关键词: innate immune checkpoint     Siglec10     kidney renal clear cell carcinoma    

Modeling and analysis of landing collision dynamics for a shipborne helicopter

Dingxuan ZHAO, Haojie YANG, Carbone GIUSEPPE, Wenhang LI, Tao NI, Shuangji YAO

《机械工程前沿(英文)》 2021年 第16卷 第1期   页码 151-162 doi: 10.1007/s11465-020-0617-z

摘要: A Lagrange dynamic model is established based on small-angle approximation to improve the simulation model for shipborne helicopter landing collision. To describe fuselage motion effectively, the proposed model considers ship motion, the interaction of the tires with the deck, and tire slippage. A mechanism of sliding motion is built, and a real-time reliability analysis of the algorithm is implemented to validate the proposed model. Numerical simulations are also conducted under different operation conditions. Results show that the proposed dynamic model can simulate the collision motion of helicopter landing in real time. Several suggestions for helicopter pilot landing are likewise provided.

关键词: shipborne helicopter     landing model     Lagrange equations     dynamics     validation    

Water pumping analysis and experimental validation of beach well infiltration intake system in a seawater

Huan ZHANG,Shu LIU,Xuejing ZHENG,Gaofeng CHEN

《能源前沿(英文)》 2015年 第9卷 第3期   页码 335-342 doi: 10.1007/s11708-015-0365-7

摘要: Based on energy conservation equation and Darcy’s law, a model of beach well infiltration intake system applied in a seawater source heat pump system was established. The model consists of the seawater seepage and the heat transfer process. A porous medium model in a software named FLUENT was applied to simulate the seepage and the heat transfer process. This model was also validated by field experiment conducted on the seashore in Tianjin, China. The maximum relative error between simulation results and experimental results was 2.1% (less than 5%), which was acceptable in engineering application. The porosity and coefficient of thermal conductivity of the aquifer soil were determined to be 0.49 W/(m·K) and 1.46 W/(m·K), respectively in the simulation. In addition, the influencing factors of pumping water of beach well were also analyzed. The pumping water was found to increase when the distance between the beach well and the impervious boundary becomes longer, when the distance between the beach well and the supplying water source shortens, when the diameter of the beach well enlarges, and the drawdown enlarges.

关键词: water pumping analysis     experimental validation     infiltration intake system     seawater source heat pump    

Reliability prediction and its validation for nuclear power units in service

Jinyuan SHI,Yong WANG

《能源前沿(英文)》 2016年 第10卷 第4期   页码 479-488 doi: 10.1007/s11708-016-0425-7

摘要: In this paper a novel method for reliability prediction and validation of nuclear power units in service is proposed. The equivalent availability factor is used to measure the reliability, and the equivalent availability factor deducting planed outage hours from period hours and maintenance factor are used for the measurement of inherent reliability. By statistical analysis of historical reliability data, the statistical maintenance factor and the undetermined parameter in its numerical model can be determined. The numerical model based on the maintenance factor predicts the equivalent availability factor deducting planed outage hours from period hours, and the planed outage factor can be obtained by using the planned maintenance days. Using these factors, the equivalent availability factor of nuclear power units in the following 3 years can be obtained. Besides, the equivalent availability factor can be predicted by using the historical statistics of planed outage factor and the predicted equivalent availability factor deducting planed outage hours from period hours. The accuracy of the reliability prediction can be evaluated according to the comparison between the predicted and statistical equivalent availability factors. Furthermore, the reliability prediction method is validated using the nuclear power units in North American Electric Reliability Council (NERC) and China. It is found that the relative errors of the predicted equivalent availability factors for nuclear power units of NERC and China are in the range of –2.16% to 5.23% and –2.15% to 3.71%, respectively. The method proposed can effectively predict the reliability index in the following 3 years, thus providing effective reliability management and maintenance optimization methods for nuclear power units.

关键词: nuclear power units in service     reliability     reliability prediction     equivalent availability factors    

Validation of

Youfen Xu, Zong Li, Ruyin Liu, Hongxia Liang, Zhisheng Yu, Hongxun Zhang

《环境科学与工程前沿(英文)》 2020年 第14卷 第4期 doi: 10.1007/s11783-020-1246-9

摘要: Abstract • Pig feces is the predominant excrement produced by animal husbandry in China. • The PF, Pig-1-BacTaqMan, and Pig-2-BacTaqMan MST assays showed better performance. • The pig-specific MST assays can contribute to managing the pig fecal pollution. In China, pig feces is the predominant source of excrement produced by animal husbandry. Improper use or direct discharge of pig feces can result in contamination of natural water systems. Microbial source tracking (MST) technology can identify the sources of fecal pollution in environmental water, and contribute to the management of pig fecal pollution by local environmental protection agencies. However, the accuracy of such assays can be context-dependent, and they have not been comprehensively evaluated under Chinese conditions. We aimed to compare the performance of five previously reported pig-specific MST assays (PF, Pig-Bac1SYBR, Pig-Bac2SYBR, Pig-1-BacTaqMan, and Pig-2-BacTaqMan, which are based on Bacteroidales 16S rRNA gene markers) and apply them in two rivers of North China. We collected a total of 173 fecal samples from pigs, cows, goats, chickens, humans, and horses across China. The PF assay optimized in this study showed outstanding qualitative performance and achieved 100% specificity and sensitivity. However, the two SYBR green qPCR assays (Pig-Bac1SYBR and Pig-Bac2SYBR) cross-reacted with most non-pig fecal samples. In contrast, both the Pig-1-BacTaqMan and Pig-2-BacTaqMan assays gave 100% specificity and sensitivity. Of these, the Pig-2-BacTaqMan assay showed higher reproducibility. Our results regarding the specificity of these pig-specific MST assays differ from those reported in Thailand, Japan, and America. Using the PF and Pig-2-BacTaqMan assays, a field test comparing the levels of pig fecal pollution in rivers near a pig farm before and after comprehensive environmental pollution governance indicated that pig fecal pollution was effectively controlled at this location.

关键词: Microbial source tracking     Pig fecal pollution     16S rRNA gene markers     Pig-specific Bacteroidales    

One DOF mechanism for the mechanical harvest of vines in an arbor structure and the validation of the

Osvaldo PENISI,José BOCCA,Horacio AGUILAR,Pedro BOCCA

《机械工程前沿(英文)》 2015年 第10卷 第3期   页码 221-232 doi: 10.1007/s11465-015-0347-9

摘要:

In the mechanized harvest of vines, grape berries are detached through the vibration to the structure supporting the clusters. According to the kind of guide selected, the clusters require one or two vibration directions in the structure. For guiding in parral structures, vibration is necessary in two directions or planes: One perpendicular to the other. The guide branches producing the clusters develop in these planes, and the guiding is called H-guiding. Mechanism theory indicates that a mechanism has as many degrees of freedom as its actuators, and an actuator is needed to achieve a certain vibration. Having the smallest number of possible actuators is beneficial in reducing moving parts and achieving more compact and easily controllable mecha-nisms. In this case, a single degree-of-freedom mechanism is proposed. It is capable of generating vibrations on two planes: One perpendicular to the other. This mechanism is the sum of two link mechanisms on perpendicular planes with a common outlet located at the output rod of the mechanism where the actuator is found. As the distance between the soil and the elements containing the clusters is not constant, a system has been designed to measure the accelerations at the bars and the rocker to validate the acceleration values that detach the grape berries in a prototype in a lab experiment, to ensure that the acceleration needed for pulling the grape berries are produced at any contact point of the bar.

关键词: harvest     mechanisms     one DOF     vibration    

标题 作者 时间 类型 操作

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

期刊论文

Model validation for structural dynamics in the aero-engine design process

Chaoping ZANG, D. J. EWINS,

期刊论文

Model validation and application

Rongrong ZHANG,Chesheng ZHAN,Xiaomeng SONG,Baolin LIU

期刊论文

Experimental and computational validation of a scaled train tunnel model using modal analysis

Janice B. D’SOUZA, Sangarapillai KANAPATHIPILLAI

期刊论文

Assessment and validation of liquid breakup models for high-pressure dense diesel sprays

Yi REN,Xianguo LI

期刊论文

Identification of structural parameters and boundary conditions using a minimum number of measurement points

Ali KARIMPOUR, Salam RAHMATALLA

期刊论文

HY-2卫星微波散射计反演风矢量产品真实性检验方法研究

穆博,林明森,彭海龙,宋清涛,周武

期刊论文

Stiffness analysis and experimental validation of robotic systems

Giuseppe CARBONE

期刊论文

Decision support for the development, simulation and optimization of dynamic process models

Norbert Asprion, Roger Böttcher, Jan Schwientek, Johannes Höller, Patrick Schwartz, Charlie Vanaret, Michael Bortz

期刊论文

Innate immune checkpoint Siglec10 in cancers: mining of comprehensive omics data and validation in patient

期刊论文

Modeling and analysis of landing collision dynamics for a shipborne helicopter

Dingxuan ZHAO, Haojie YANG, Carbone GIUSEPPE, Wenhang LI, Tao NI, Shuangji YAO

期刊论文

Water pumping analysis and experimental validation of beach well infiltration intake system in a seawater

Huan ZHANG,Shu LIU,Xuejing ZHENG,Gaofeng CHEN

期刊论文

Reliability prediction and its validation for nuclear power units in service

Jinyuan SHI,Yong WANG

期刊论文

Validation of

Youfen Xu, Zong Li, Ruyin Liu, Hongxia Liang, Zhisheng Yu, Hongxun Zhang

期刊论文

One DOF mechanism for the mechanical harvest of vines in an arbor structure and the validation of the

Osvaldo PENISI,José BOCCA,Horacio AGUILAR,Pedro BOCCA

期刊论文